#Density : 577627603287407201883021751141/4000000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {9, 10, 11, 12, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
1212903439122817298530828713/15625000000000000000000000000 87004425969083722459652409/781250000000000000000000000 6649687232806320736455681987/62500000000000000000000000000 -3712573877699008876038536649/12500000000000000000000000000 3334559872304793097083775371/15625000000000000000000000000 92446083017795685488628903/2500000000000000000000000000
87004425969083722459652409/781250000000000000000000000 6241032792919027456379337/39062500000000000000000000 476997757531855058757032691/3125000000000000000000000000 -266311685397331800185421657/625000000000000000000000000 239195848730743234385830203/781250000000000000000000000 6631375694565183760493079/125000000000000000000000000
6649687232806320736455681987/62500000000000000000000000000 476997757531855058757032691/3125000000000000000000000000 36456603937182736957916537313/250000000000000000000000000000 -20354015265419268875621084451/50000000000000000000000000000 18281570893994443272389681529/62500000000000000000000000000 506831391632439365182522797/10000000000000000000000000000
-3712573877699008876038536649/12500000000000000000000000000 -266311685397331800185421657/625000000000000000000000000 -20354015265419268875621084451/50000000000000000000000000000 11363810467337114057615859177/10000000000000000000000000000 -10206748102301779650438242283/12500000000000000000000000000 -282968043322291915771728519/2000000000000000000000000000
3334559872304793097083775371/15625000000000000000000000000 239195848730743234385830203/781250000000000000000000000 18281570893994443272389681529/62500000000000000000000000000 -10206748102301779650438242283/12500000000000000000000000000 9167497744113025586424927057/15625000000000000000000000000 254156257488923071420096101/2500000000000000000000000000
92446083017795685488628903/2500000000000000000000000000 6631375694565183760493079/125000000000000000000000000 506831391632439365182522797/10000000000000000000000000000 -282968043322291915771728519/2000000000000000000000000000 254156257488923071420096101/2500000000000000000000000000 7046132436984363175478793/400000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
50959326235499641709213769/976562500000000000000000000 438211054882941902510885037/7812500000000000000000000000 -1985652324422967232502444439/31250000000000000000000000000 -1370290920083577635244580377/6250000000000000000000000000 1303918880037318288273828447/15625000000000000000000000000 -2566076734221451338256119477/15625000000000000000000000000
438211054882941902510885037/7812500000000000000000000000 3768278405687557677268330401/62500000000000000000000000000 -17075084464323130574978080947/250000000000000000000000000000 -11783449153376627114032204221/50000000000000000000000000000 11212700600913568774244210331/125000000000000000000000000000 -22066288463414011933030168521/125000000000000000000000000000
-1985652324422967232502444439/31250000000000000000000000000 -17075084464323130574978080947/250000000000000000000000000000 77371806983186941868748163209/1000000000000000000000000000000 53393982055912174353587372487/200000000000000000000000000000 -50807766630192133790782590657/500000000000000000000000000000 99988296713487017155269724587/500000000000000000000000000000
-1370290920083577635244580377/6250000000000000000000000000 -11783449153376627114032204221/50000000000000000000000000000 53393982055912174353587372487/200000000000000000000000000000 36846978646971262531212510441/40000000000000000000000000000 -35062241474377813854483476751/100000000000000000000000000000 69001533358026326332004700741/100000000000000000000000000000
1303918880037318288273828447/15625000000000000000000000000 11212700600913568774244210331/125000000000000000000000000000 -50807766630192133790782590657/500000000000000000000000000000 -35062241474377813854483476751/100000000000000000000000000000 33363950650771480318241935161/250000000000000000000000000000 -65659343412687645117278340051/250000000000000000000000000000
-2566076734221451338256119477/15625000000000000000000000000 -22066288463414011933030168521/125000000000000000000000000000 99988296713487017155269724587/500000000000000000000000000000 69001533358026326332004700741/100000000000000000000000000000 -65659343412687645117278340051/250000000000000000000000000000 129215794091985357063775381041/250000000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
334440636526768729588702613421/1000000000000000000000000000000 411713752199198601852452895739/1000000000000000000000000000000 84675607634643415829812752337/200000000000000000000000000000 135768999474681248068695771287/200000000000000000000000000000 275887988907743674428744092433/1000000000000000000000000000000 80493871476983932355161861191/200000000000000000000000000000 -420612622298788117837318521827/1000000000000000000000000000000 -516673900127820902472179086847/1000000000000000000000000000000 -344309004110339044599216865063/500000000000000000000000000000 -44368748036232241232283389693/500000000000000000000000000000 -607587823498971073749877256773/1000000000000000000000000000000 80879848499099861446022087893/1000000000000000000000000000000
411713752199198601852452895739/1000000000000000000000000000000 299487516188563148341579608873/500000000000000000000000000000 123063487923584216738844414601/200000000000000000000000000000 987338408983543355648994980721/1000000000000000000000000000000 186838910462316396145967790823/500000000000000000000000000000 524167742851897316970468377311/1000000000000000000000000000000 -595634767551140387917592548371/1000000000000000000000000000000 -734217897333463803662382926797/1000000000000000000000000000000 -1000897617707945634925854284651/1000000000000000000000000000000 -125029553136878225614196654819/1000000000000000000000000000000 -815048488495550589749823041867/1000000000000000000000000000000 7828466527202598603128435443/62500000000000000000000000000
84675607634643415829812752337/200000000000000000000000000000 123063487923584216738844414601/200000000000000000000000000000 25284373804334252574267442991/40000000000000000000000000000 1014278449371998613180848975883/1000000000000000000000000000000 384032749726431726343697703123/1000000000000000000000000000000 538822550023108141396605509121/1000000000000000000000000000000 -611979854297154375784475439103/1000000000000000000000000000000 -754350819528652914876627939579/1000000000000000000000000000000 -514105701166205006366980090711/500000000000000000000000000000 -32116072665750512008607141079/250000000000000000000000000000 -167536612317654187116001312567/200000000000000000000000000000 128629215771233572440201030447/1000000000000000000000000000000
135768999474681248068695771287/200000000000000000000000000000 987338408983543355648994980721/1000000000000000000000000000000 1014278449371998613180848975883/1000000000000000000000000000000 1682459117551518507463396478733/1000000000000000000000000000000 123206243062732488445332292811/200000000000000000000000000000 169159980802878588144110975101/200000000000000000000000000000 -989734453193586692760700522841/1000000000000000000000000000000 -242229638876971959522284159173/200000000000000000000000000000 -824930903251588499584111799277/500000000000000000000000000000 -113336473572763907243239893797/500000000000000000000000000000 -1343679216885302421482987569319/1000000000000000000000000000000 40394145589243276846928572923/200000000000000000000000000000
275887988907743674428744092433/1000000000000000000000000000000 186838910462316396145967790823/500000000000000000000000000000 384032749726431726343697703123/1000000000000000000000000000000 123206243062732488445332292811/200000000000000000000000000000 120083498505318726080809965901/500000000000000000000000000000 68522870012936961308958454013/200000000000000000000000000000 -375736329426447509448180090809/1000000000000000000000000000000 -462490684832955899097573709431/1000000000000000000000000000000 -624657876654524476751872467057/1000000000000000000000000000000 -15807210236817305947473139569/200000000000000000000000000000 -525999653722014474124690858833/1000000000000000000000000000000 4763250256845504156897939727/62500000000000000000000000000
80493871476983932355161861191/200000000000000000000000000000 524167742851897316970468377311/1000000000000000000000000000000 538822550023108141396605509121/1000000000000000000000000000000 169159980802878588144110975101/200000000000000000000000000000 68522870012936961308958454013/200000000000000000000000000000 1435120836544785885174362221577/1000000000000000000000000000000 -154754898393628121850130769579/200000000000000000000000000000 -704348312526897673035844233987/1000000000000000000000000000000 -109551970688322319966452408813/125000000000000000000000000000 -57979330609726102696706590149/250000000000000000000000000000 -752077183512534808579864054071/1000000000000000000000000000000 8665323974505689508209827649/1000000000000000000000000000000
-420612622298788117837318521827/1000000000000000000000000000000 -595634767551140387917592548371/1000000000000000000000000000000 -611979854297154375784475439103/1000000000000000000000000000000 -989734453193586692760700522841/1000000000000000000000000000000 -375736329426447509448180090809/1000000000000000000000000000000 -154754898393628121850130769579/200000000000000000000000000000 135371971436342766121083090243/100000000000000000000000000000 180875383183437951803524132457/250000000000000000000000000000 497727323108865559181000836637/500000000000000000000000000000 42135946610245701504203514901/1000000000000000000000000000000 820807954698221651060169951329/1000000000000000000000000000000 -10749991707278964097738663611/62500000000000000000000000000
-516673900127820902472179086847/1000000000000000000000000000000 -734217897333463803662382926797/1000000000000000000000000000000 -754350819528652914876627939579/1000000000000000000000000000000 -242229638876971959522284159173/200000000000000000000000000000 -462490684832955899097573709431/1000000000000000000000000000000 -704348312526897673035844233987/1000000000000000000000000000000 180875383183437951803524132457/250000000000000000000000000000 488472929439357953937335206763/500000000000000000000000000000 7668996313651267331625620481/6250000000000000000000000000 150004815646868566161343758461/1000000000000000000000000000000 1010123680213950397084089073741/1000000000000000000000000000000 -38813946473051992897311666461/250000000000000000000000000000
-344309004110339044599216865063/500000000000000000000000000000 -1000897617707945634925854284651/1000000000000000000000000000000 -514105701166205006366980090711/500000000000000000000000000000 -824930903251588499584111799277/500000000000000000000000000000 -624657876654524476751872467057/1000000000000000000000000000000 -109551970688322319966452408813/125000000000000000000000000000 497727323108865559181000836637/500000000000000000000000000000 7668996313651267331625620481/6250000000000000000000000000 1672525088337108267759321557777/1000000000000000000000000000000 208961183670723230142658532013/1000000000000000000000000000000 681273322950779703448186335967/500000000000000000000000000000 -209239430566012650298384897311/1000000000000000000000000000000
-44368748036232241232283389693/500000000000000000000000000000 -125029553136878225614196654819/1000000000000000000000000000000 -32116072665750512008607141079/250000000000000000000000000000 -113336473572763907243239893797/500000000000000000000000000000 -15807210236817305947473139569/200000000000000000000000000000 -57979330609726102696706590149/250000000000000000000000000000 42135946610245701504203514901/1000000000000000000000000000000 150004815646868566161343758461/1000000000000000000000000000000 208961183670723230142658532013/1000000000000000000000000000000 46428898529592357161319129887/125000000000000000000000000000 86353438250471231959528534639/500000000000000000000000000000 -3382113441450880832846465173/62500000000000000000000000000
-607587823498971073749877256773/1000000000000000000000000000000 -815048488495550589749823041867/1000000000000000000000000000000 -167536612317654187116001312567/200000000000000000000000000000 -1343679216885302421482987569319/1000000000000000000000000000000 -525999653722014474124690858833/1000000000000000000000000000000 -752077183512534808579864054071/1000000000000000000000000000000 820807954698221651060169951329/1000000000000000000000000000000 1010123680213950397084089073741/1000000000000000000000000000000 681273322950779703448186335967/500000000000000000000000000000 86353438250471231959528534639/500000000000000000000000000000 1152655742299902937969392410797/1000000000000000000000000000000 -165638496672081926963691963817/1000000000000000000000000000000
80879848499099861446022087893/1000000000000000000000000000000 7828466527202598603128435443/62500000000000000000000000000 128629215771233572440201030447/1000000000000000000000000000000 40394145589243276846928572923/200000000000000000000000000000 4763250256845504156897939727/62500000000000000000000000000 8665323974505689508209827649/1000000000000000000000000000000 -10749991707278964097738663611/62500000000000000000000000000 -38813946473051992897311666461/250000000000000000000000000000 -209239430566012650298384897311/1000000000000000000000000000000 -3382113441450880832846465173/62500000000000000000000000000 -165638496672081926963691963817/1000000000000000000000000000000 216605296908472966359926145097/1000000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
153434695263545597858190601613/500000000000000000000000000000 156873262085456043442002959333/500000000000000000000000000000 -9196245049664163119786364669/500000000000000000000000000000 28802493772258676481526099529/500000000000000000000000000000
156873262085456043442002959333/500000000000000000000000000000 201770873953909064244084049717/500000000000000000000000000000 -9402338611432946785608077149/500000000000000000000000000000 8987804406104851429826102833/100000000000000000000000000000
-9196245049664163119786364669/500000000000000000000000000000 -9402338611432946785608077149/500000000000000000000000000000 551185133637540138368227157/500000000000000000000000000000 -1726303014628240998895925877/500000000000000000000000000000
28802493772258676481526099529/500000000000000000000000000000 8987804406104851429826102833/100000000000000000000000000000 -1726303014628240998895925877/500000000000000000000000000000 996916243731415553632785336131/500000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
5073125952101877872505837709/8000000000000000000000000000 -3894636724555563504789229269/31250000000000000000000000000 -181360716918513109635353089973/1000000000000000000000000000000 5759225675594753510514131191/100000000000000000000000000000 -88777511842830347239966733869/1000000000000000000000000000000 -573908561459102254916232741/25000000000000000000000000000 -458571927700388694434198063/6250000000000000000000000000 104475175915796266481959506387/1000000000000000000000000000000 39982921670019806924638781879/1000000000000000000000000000000 -853201638745814715077309819/125000000000000000000000000000
-3894636724555563504789229269/31250000000000000000000000000 1133639454217355000301858728233/1000000000000000000000000000000 1403270689337326884373956702621/1000000000000000000000000000000 -445617591486787650090390580981/1000000000000000000000000000000 -167574697855688507861031619681/1000000000000000000000000000000 -442093093492783075913330086743/1000000000000000000000000000000 1018071832494315364545094857133/1000000000000000000000000000000 -69518098792841376062114577057/50000000000000000000000000000 -469525038290834719187888260863/1000000000000000000000000000000 19145701263178646208127079919/500000000000000000000000000000
-181360716918513109635353089973/1000000000000000000000000000000 1403270689337326884373956702621/1000000000000000000000000000000 1977887468791663432991616306091/1000000000000000000000000000000 -628090828629209865799253898661/1000000000000000000000000000000 -105908629786100063935734165873/500000000000000000000000000000 -281489830976919860021066599487/500000000000000000000000000000 1294176566747816184512034036619/1000000000000000000000000000000 -1780384475411607893928727660719/1000000000000000000000000000000 -591933168159529571039883105879/1000000000000000000000000000000 29190504386569584925595788427/1000000000000000000000000000000
5759225675594753510514131191/100000000000000000000000000000 -445617591486787650090390580981/1000000000000000000000000000000 -628090828629209865799253898661/1000000000000000000000000000000 199454263820749800303875528617/1000000000000000000000000000000 67263926931415210750933800241/1000000000000000000000000000000 35755559192615176130000217773/200000000000000000000000000000 -410974054454351871657127718253/1000000000000000000000000000000 17667890270497453359781409541/31250000000000000000000000000 187972167269015253148411992883/1000000000000000000000000000000 -4634815779020552182533241033/500000000000000000000000000000
-88777511842830347239966733869/1000000000000000000000000000000 -167574697855688507861031619681/1000000000000000000000000000000 -105908629786100063935734165873/500000000000000000000000000000 67263926931415210750933800241/1000000000000000000000000000000 27903939218483547391457574023/50000000000000000000000000000 -22493123732576109901369481519/1000000000000000000000000000000 -237136509283807346191224722553/1000000000000000000000000000000 220196465668403155829707427623/1000000000000000000000000000000 478160435614140051385767251/15625000000000000000000000000 -705671603611495178584459223/125000000000000000000000000000
-573908561459102254916232741/25000000000000000000000000000 -442093093492783075913330086743/1000000000000000000000000000000 -281489830976919860021066599487/500000000000000000000000000000 35755559192615176130000217773/200000000000000000000000000000 -22493123732576109901369481519/1000000000000000000000000000000 8978814767962058111987134593/20000000000000000000000000000 -356497325470861885223659682429/1000000000000000000000000000000 11807432427121779034333964793/25000000000000000000000000000 12599120076648769845445418617/125000000000000000000000000000 4587719210137441903762791727/1000000000000000000000000000000
-458571927700388694434198063/6250000000000000000000000000 1018071832494315364545094857133/1000000000000000000000000000000 1294176566747816184512034036619/1000000000000000000000000000000 -410974054454351871657127718253/1000000000000000000000000000000 -237136509283807346191224722553/1000000000000000000000000000000 -356497325470861885223659682429/1000000000000000000000000000000 1356634244509891566795856035953/1000000000000000000000000000000 -371391994838915697686448346989/250000000000000000000000000000 -581313582708574324247581109533/1000000000000000000000000000000 9257553377239460979725423687/125000000000000000000000000000
104475175915796266481959506387/1000000000000000000000000000000 -69518098792841376062114577057/50000000000000000000000000000 -1780384475411607893928727660719/1000000000000000000000000000000 17667890270497453359781409541/31250000000000000000000000000 220196465668403155829707427623/1000000000000000000000000000000 11807432427121779034333964793/25000000000000000000000000000 -371391994838915697686448346989/250000000000000000000000000000 1986391836867134591500032540463/1000000000000000000000000000000 669079719801247018999997830519/1000000000000000000000000000000 -2926590131078544419040336077/31250000000000000000000000000
39982921670019806924638781879/1000000000000000000000000000000 -469525038290834719187888260863/1000000000000000000000000000000 -591933168159529571039883105879/1000000000000000000000000000000 187972167269015253148411992883/1000000000000000000000000000000 478160435614140051385767251/15625000000000000000000000000 12599120076648769845445418617/125000000000000000000000000000 -581313582708574324247581109533/1000000000000000000000000000000 669079719801247018999997830519/1000000000000000000000000000000 365700404386195683234756802231/1000000000000000000000000000000 -43569951457494692894482021817/1000000000000000000000000000000
-853201638745814715077309819/125000000000000000000000000000 19145701263178646208127079919/500000000000000000000000000000 29190504386569584925595788427/1000000000000000000000000000000 -4634815779020552182533241033/500000000000000000000000000000 -705671603611495178584459223/125000000000000000000000000000 4587719210137441903762791727/1000000000000000000000000000000 9257553377239460979725423687/125000000000000000000000000000 -2926590131078544419040336077/31250000000000000000000000000 -43569951457494692894482021817/1000000000000000000000000000000 6883892372865231473253655151/200000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
153209000460868356600981872999/1000000000000000000000000000000 -288505348885305064365274496893/1000000000000000000000000000000 61196158966140042082305852577/500000000000000000000000000000 383561661546815828602614581/15625000000000000000000000000 6760240291889775921802788169/100000000000000000000000000000 5073495616953972201643572511/125000000000000000000000000000
-288505348885305064365274496893/1000000000000000000000000000000 12123559458786510356963231515177/1000000000000000000000000000000 1435657248514248332892151675599/500000000000000000000000000000 233872459854509813841108811069/250000000000000000000000000000 499735093529032763929061015609/250000000000000000000000000000 239739015161572830102565583329/125000000000000000000000000000
61196158966140042082305852577/500000000000000000000000000000 1435657248514248332892151675599/500000000000000000000000000000 338593982941692361363164706321/100000000000000000000000000000 67186921331077532260643387029/100000000000000000000000000000 668325006503291514998306914467/500000000000000000000000000000 532393525719577429478440350559/500000000000000000000000000000
383561661546815828602614581/15625000000000000000000000000 233872459854509813841108811069/250000000000000000000000000000 67186921331077532260643387029/100000000000000000000000000000 315182873963193558624022382269/500000000000000000000000000000 214614036238046371817649272323/500000000000000000000000000000 211364434933183585386340408813/500000000000000000000000000000
6760240291889775921802788169/100000000000000000000000000000 499735093529032763929061015609/250000000000000000000000000000 668325006503291514998306914467/500000000000000000000000000000 214614036238046371817649272323/500000000000000000000000000000 1148715460214689183149709953979/1000000000000000000000000000000 746119080959454242305755503137/1000000000000000000000000000000
5073495616953972201643572511/125000000000000000000000000000 239739015161572830102565583329/125000000000000000000000000000 532393525719577429478440350559/500000000000000000000000000000 211364434933183585386340408813/500000000000000000000000000000 746119080959454242305755503137/1000000000000000000000000000000 700007449971844658556056139647/1000000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
4533350552837374216941798951/500000000000000000000000000000 -1840689278467886166243619741/100000000000000000000000000000 3267069740859129957110280877/1000000000000000000000000000000 941649961274453264782693971/200000000000000000000000000000 -14970859962577610893933051579/1000000000000000000000000000000 2019128119173021914656354999/500000000000000000000000000000 4648118265816442043469854603/500000000000000000000000000000 -705513708262824880844211299/250000000000000000000000000000 68140044378278574999293633/1000000000000000000000000000000
-1840689278467886166243619741/100000000000000000000000000000 3736901636413303304529192033/100000000000000000000000000000 -6632688309277741268921610459/1000000000000000000000000000000 -9558520603587847190952007781/1000000000000000000000000000000 30393305240109119466434312389/1000000000000000000000000000000 -4099161804644076952689621059/500000000000000000000000000000 -1887288740903596040623188037/100000000000000000000000000000 1432308734429000525380434709/250000000000000000000000000000 -138335484604120704176366639/1000000000000000000000000000000
3267069740859129957110280877/1000000000000000000000000000000 -6632688309277741268921610459/1000000000000000000000000000000 30139704229077141513593490721/1000000000000000000000000000000 -1819772406067711133060194719/500000000000000000000000000000 -269727892279416346485413471/50000000000000000000000000000 485367651655250697785494851/500000000000000000000000000000 8374449734405022563723307/2500000000000000000000000000 -508445676886421288292440313/500000000000000000000000000000 24553392905707324638792653/1000000000000000000000000000000
941649961274453264782693971/200000000000000000000000000000 -9558520603587847190952007781/1000000000000000000000000000000 -1819772406067711133060194719/500000000000000000000000000000 14418225174929629094211231523/250000000000000000000000000000 -97177776739720329874274011/12500000000000000000000000000 -24542212866804384426565345407/1000000000000000000000000000000 4827445325276039370846553921/1000000000000000000000000000000 -366366415536677226442705401/250000000000000000000000000000 35384464707734256370241401/1000000000000000000000000000000
-14970859962577610893933051579/1000000000000000000000000000000 30393305240109119466434312389/1000000000000000000000000000000 -269727892279416346485413471/50000000000000000000000000000 -97177776739720329874274011/12500000000000000000000000000 6179939247110255537392520249/250000000000000000000000000000 -6667934457033591949143409479/1000000000000000000000000000000 -15349866911016562036848050231/1000000000000000000000000000000 58246912548329482647842379/12500000000000000000000000000 -112512263318413964207538253/1000000000000000000000000000000
2019128119173021914656354999/500000000000000000000000000000 -4099161804644076952689621059/500000000000000000000000000000 485367651655250697785494851/500000000000000000000000000000 -24542212866804384426565345407/1000000000000000000000000000000 -6667934457033591949143409479/1000000000000000000000000000000 102101217722055109940293141367/1000000000000000000000000000000 4140489989283775404899353357/1000000000000000000000000000000 -628463450921073236311376959/500000000000000000000000000000 30349178003635028478211023/1000000000000000000000000000000
4648118265816442043469854603/500000000000000000000000000000 -1887288740903596040623188037/100000000000000000000000000000 8374449734405022563723307/2500000000000000000000000000 4827445325276039370846553921/1000000000000000000000000000000 -15349866911016562036848050231/1000000000000000000000000000000 4140489989283775404899353357/1000000000000000000000000000000 9531582947845987654144546803/1000000000000000000000000000000 -1446749425591120035306927257/500000000000000000000000000000 69865098940999870523725003/1000000000000000000000000000000
-705513708262824880844211299/250000000000000000000000000000 1432308734429000525380434709/250000000000000000000000000000 -508445676886421288292440313/500000000000000000000000000000 -366366415536677226442705401/250000000000000000000000000000 58246912548329482647842379/12500000000000000000000000000 -628463450921073236311376959/500000000000000000000000000000 -1446749425591120035306927257/500000000000000000000000000000 219594574364087676776192981/250000000000000000000000000000 -2651115043398968415069981/125000000000000000000000000000
68140044378278574999293633/1000000000000000000000000000000 -138335484604120704176366639/1000000000000000000000000000000 24553392905707324638792653/1000000000000000000000000000000 35384464707734256370241401/1000000000000000000000000000000 -112512263318413964207538253/1000000000000000000000000000000 30349178003635028478211023/1000000000000000000000000000000 69865098940999870523725003/1000000000000000000000000000000 -2651115043398968415069981/125000000000000000000000000000 32006305227210280969343/62500000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 59391266502019418613077895409/25000000000000000000000000000 568900489078072149677055700589/1000000000000000000000000000000 -14222512228537750875323398273/25000000000000000000000000000 28445024450808612143831499899/50000000000000000000000000000 -70615810226232969829/1000000000000000000000000000000 682296842155510667209000350747/1000000000000000000000000000000
0/1 568900489078072149677055700589/1000000000000000000000000000000 86650488393740139822841800773/62500000000000000000000000000 -151561029322314870193163204387/250000000000000000000000000000 66918901214647777179570480553/1000000000000000000000000000000 -50909025083016253973391786603/200000000000000000000000000000 260914593676682379697383839583/500000000000000000000000000000
0/1 -14222512228537750875323398273/25000000000000000000000000000 -151561029322314870193163204387/250000000000000000000000000000 277281562894069695363449077067/200000000000000000000000000000 -847082598645092071640437219909/1000000000000000000000000000000 254545125433245878890586943649/1000000000000000000000000000000 -65228648428203912079335257847/125000000000000000000000000000
0/1 28445024450808612143831499899/50000000000000000000000000000 66918901214647777179570480553/1000000000000000000000000000000 -847082598645092071640437219909/1000000000000000000000000000000 1386407814430575626137527459351/1000000000000000000000000000000 63636281348196975400743238019/250000000000000000000000000000 521829187394803884321662574663/1000000000000000000000000000000
0/1 -70615810226232969829/1000000000000000000000000000000 -50909025083016253973391786603/200000000000000000000000000000 254545125433245878890586943649/1000000000000000000000000000000 63636281348196975400743238019/250000000000000000000000000000 822294395660186360300466600091/1000000000000000000000000000000 10002166275820071019/200000000000000000000000000000
0/1 682296842155510667209000350747/1000000000000000000000000000000 260914593676682379697383839583/500000000000000000000000000000 -65228648428203912079335257847/125000000000000000000000000000 521829187394803884321662574663/1000000000000000000000000000000 10002166275820071019/200000000000000000000000000000 75499227745219614709365530603/125000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
6146729569429008182940134137441/1000000000000000000000000000000 30421598520247467872053409273/100000000000000000000000000000 104632452175039605206015980643/250000000000000000000000000000 684293582802328561787340975867/1000000000000000000000000000000 563389015083186146887617351121/500000000000000000000000000000 298939497269600705120466401901/1000000000000000000000000000000 -1159134977584341156902750599639/250000000000000000000000000000 -250781642795710550203383105687/62500000000000000000000000000 -1455121711097129816843261826463/1000000000000000000000000000000 -403297071589176477478889431551/1000000000000000000000000000000 -343913448123118731065278852973/500000000000000000000000000000 3156576433104917505411737558793/1000000000000000000000000000000
30421598520247467872053409273/100000000000000000000000000000 109897566327744586768888956483/200000000000000000000000000000 -55715678284854891247572175977/1000000000000000000000000000000 32257452375521043044516107567/500000000000000000000000000000 -69662549133533306199565891461/500000000000000000000000000000 14795213056268644246314533003/1000000000000000000000000000000 -1434207350409623269982331151/6250000000000000000000000000 -6205884256947861158960979171/31250000000000000000000000000 -129899366815257513819715369689/1000000000000000000000000000000 -9980056419663072785703818931/500000000000000000000000000000 -30322722318866755543186626291/1000000000000000000000000000000 156226331167524436872371161659/1000000000000000000000000000000
104632452175039605206015980643/250000000000000000000000000000 -55715678284854891247572175977/1000000000000000000000000000000 523312401335490464718619413037/1000000000000000000000000000000 -13418288861338932289734299513/250000000000000000000000000000 -3903291329486578075376317711/500000000000000000000000000000 4070948272020075975760410801/200000000000000000000000000000 -78925310598611670136721299061/250000000000000000000000000000 -136605447570695372538588618253/500000000000000000000000000000 -14176630010105119160492927627/100000000000000000000000000000 -1716276968895050756044382233/62500000000000000000000000000 -11665214457003393792700502489/250000000000000000000000000000 107465385920997717576526009683/500000000000000000000000000000
684293582802328561787340975867/1000000000000000000000000000000 32257452375521043044516107567/500000000000000000000000000000 -13418288861338932289734299513/250000000000000000000000000000 671675166037520553274291213383/1000000000000000000000000000000 -54339018581941041543991083391/500000000000000000000000000000 33279873049782944797269931489/1000000000000000000000000000000 -129042382258137566351911649803/250000000000000000000000000000 -22334904038735119146306416249/50000000000000000000000000000 -220606220053824519357609039133/500000000000000000000000000000 -8979526258689591796855625089/200000000000000000000000000000 -79696815899971482903379728359/1000000000000000000000000000000 175705224418814794415268034419/500000000000000000000000000000
563389015083186146887617351121/500000000000000000000000000000 -69662549133533306199565891461/500000000000000000000000000000 -3903291329486578075376317711/500000000000000000000000000000 -54339018581941041543991083391/500000000000000000000000000000 284240387054406349662032421259/250000000000000000000000000000 13699905543590389175179978641/250000000000000000000000000000 -212484999057154644027298026497/250000000000000000000000000000 -7355462569696627198370569553/10000000000000000000000000000 -44243344599672815167255096139/250000000000000000000000000000 -577576299050835182127102089/7812500000000000000000000000 -20748213037691629777143405511/125000000000000000000000000000 144660706783766845329252511779/250000000000000000000000000000
298939497269600705120466401901/1000000000000000000000000000000 14795213056268644246314533003/1000000000000000000000000000000 4070948272020075975760410801/200000000000000000000000000000 33279873049782944797269931489/1000000000000000000000000000000 13699905543590389175179978641/250000000000000000000000000000 7269298414579757351010283641/500000000000000000000000000000 -56373267044325410592379956993/250000000000000000000000000000 -4878596813151055253738246189/25000000000000000000000000000 -70768259437483021243254226761/1000000000000000000000000000000 -19613913784459849920206027707/1000000000000000000000000000000 -8362927971015478614753533163/250000000000000000000000000000 6140666260631408738525017947/40000000000000000000000000000
-1159134977584341156902750599639/250000000000000000000000000000 -1434207350409623269982331151/6250000000000000000000000000 -78925310598611670136721299061/250000000000000000000000000000 -129042382258137566351911649803/250000000000000000000000000000 -212484999057154644027298026497/250000000000000000000000000000 -56373267044325410592379956993/250000000000000000000000000000 874347166949960575977924990007/250000000000000000000000000000 378334228785761815363041008881/125000000000000000000000000000 548806467866392005106368906083/500000000000000000000000000000 76052758911236111216379242191/250000000000000000000000000000 259417371451753245179267435753/500000000000000000000000000000 -9524149352469960899978761491/4000000000000000000000000000
-250781642795710550203383105687/62500000000000000000000000000 -6205884256947861158960979171/31250000000000000000000000000 -136605447570695372538588618253/500000000000000000000000000000 -22334904038735119146306416249/50000000000000000000000000000 -7355462569696627198370569553/10000000000000000000000000000 -4878596813151055253738246189/25000000000000000000000000000 378334228785761815363041008881/125000000000000000000000000000 1309656338639308203659052173219/500000000000000000000000000000 949884803774816160410203214959/1000000000000000000000000000000 131633579783114711900168738173/500000000000000000000000000000 89800916497744901714986732763/200000000000000000000000000000 -412114527994273831894132578621/200000000000000000000000000000
-1455121711097129816843261826463/1000000000000000000000000000000 -129899366815257513819715369689/1000000000000000000000000000000 -14176630010105119160492927627/100000000000000000000000000000 -220606220053824519357609039133/500000000000000000000000000000 -44243344599672815167255096139/250000000000000000000000000000 -70768259437483021243254226761/1000000000000000000000000000000 548806467866392005106368906083/500000000000000000000000000000 949884803774816160410203214959/1000000000000000000000000000000 74217930908067094022453129279/125000000000000000000000000000 23868234247609290499315574159/250000000000000000000000000000 164552457367914942898102695259/1000000000000000000000000000000 -37362981799535881680142376397/50000000000000000000000000000
-403297071589176477478889431551/1000000000000000000000000000000 -9980056419663072785703818931/500000000000000000000000000000 -1716276968895050756044382233/62500000000000000000000000000 -8979526258689591796855625089/200000000000000000000000000000 -577576299050835182127102089/7812500000000000000000000000 -19613913784459849920206027707/1000000000000000000000000000000 76052758911236111216379242191/250000000000000000000000000000 131633579783114711900168738173/500000000000000000000000000000 23868234247609290499315574159/250000000000000000000000000000 26460986466908181140648034721/1000000000000000000000000000000 361035662836090368444029719/8000000000000000000000000000 -20710818937766906358155007243/100000000000000000000000000000
-343913448123118731065278852973/500000000000000000000000000000 -30322722318866755543186626291/1000000000000000000000000000000 -11665214457003393792700502489/250000000000000000000000000000 -79696815899971482903379728359/1000000000000000000000000000000 -20748213037691629777143405511/125000000000000000000000000000 -8362927971015478614753533163/250000000000000000000000000000 259417371451753245179267435753/500000000000000000000000000000 89800916497744901714986732763/200000000000000000000000000000 164552457367914942898102695259/1000000000000000000000000000000 361035662836090368444029719/8000000000000000000000000000 93848604995038694130744924769/1000000000000000000000000000000 -2825799503619482076084211119/8000000000000000000000000000
3156576433104917505411737558793/1000000000000000000000000000000 156226331167524436872371161659/1000000000000000000000000000000 107465385920997717576526009683/500000000000000000000000000000 175705224418814794415268034419/500000000000000000000000000000 144660706783766845329252511779/250000000000000000000000000000 6140666260631408738525017947/40000000000000000000000000000 -9524149352469960899978761491/4000000000000000000000000000 -412114527994273831894132578621/200000000000000000000000000000 -37362981799535881680142376397/50000000000000000000000000000 -20710818937766906358155007243/100000000000000000000000000000 -2825799503619482076084211119/8000000000000000000000000000 16210205224562942977549158591/10000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
208115563697283252887538327259/62500000000000000000000000000 556288290313059005581675199589/250000000000000000000000000000 386165407348964259522203341691/250000000000000000000000000000 372752112041947062835138732499/250000000000000000000000000000
556288290313059005581675199589/250000000000000000000000000000 679057156127765410952986306011/200000000000000000000000000000 2342094094664685197411982426717/1000000000000000000000000000000 593184146357605999379370282579/250000000000000000000000000000
386165407348964259522203341691/250000000000000000000000000000 2342094094664685197411982426717/1000000000000000000000000000000 2235553290373679117136016888439/1000000000000000000000000000000 1077645339195509958442397797651/500000000000000000000000000000
372752112041947062835138732499/250000000000000000000000000000 593184146357605999379370282579/250000000000000000000000000000 1077645339195509958442397797651/500000000000000000000000000000 359929160893771818960138768769/125000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
17011028613789988929173013861/62500000000000000000000000000 64856358264402765933473209/25000000000000000000000000000 -88609181433994948734007107/62500000000000000000000000000 23725761080468773833943681083/125000000000000000000000000000 2337279290721252664514218819/125000000000000000000000000000 -9071017733443791450525640607/62500000000000000000000000000
64856358264402765933473209/25000000000000000000000000000 48434164481718887237280247333/1000000000000000000000000000000 -74727888209930926249030511/62500000000000000000000000000 4758566518517413297116258567/250000000000000000000000000000 1875109328956630653177530463/1000000000000000000000000000000 -7277328829391621427430825301/500000000000000000000000000000
-88609181433994948734007107/62500000000000000000000000000 -74727888209930926249030511/62500000000000000000000000000 17818797521778925144727787/12500000000000000000000000000 -91285803145916392833699099/62500000000000000000000000000 -17985548841894777861216251/125000000000000000000000000000 139604396472100599103661243/125000000000000000000000000000
23725761080468773833943681083/125000000000000000000000000000 4758566518517413297116258567/250000000000000000000000000000 -91285803145916392833699099/62500000000000000000000000000 216849617352975193646344161369/1000000000000000000000000000000 21362354543027040574219803531/1000000000000000000000000000000 -33163053742675295949057481677/200000000000000000000000000000
2337279290721252664514218819/125000000000000000000000000000 1875109328956630653177530463/1000000000000000000000000000000 -17985548841894777861216251/125000000000000000000000000000 21362354543027040574219803531/1000000000000000000000000000000 1052227338910097641925152009/500000000000000000000000000000 -16334843483429592616176283513/1000000000000000000000000000000
-9071017733443791450525640607/62500000000000000000000000000 -7277328829391621427430825301/500000000000000000000000000000 139604396472100599103661243/125000000000000000000000000000 -33163053742675295949057481677/200000000000000000000000000000 -16334843483429592616176283513/1000000000000000000000000000000 126791569540724483019364520121/1000000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
212129885116367772347840154471/500000000000000000000000000000 -141627865895669751868806921361/500000000000000000000000000000 -35251009649164704497810446413/500000000000000000000000000000 -94372954053563842682185517651/1000000000000000000000000000000 94372954089036895597491722689/1000000000000000000000000000000 -94372954140084205332546611259/1000000000000000000000000000000 0/1 -29400713994089186718710869959/500000000000000000000000000000 29400713994089186718710869959/500000000000000000000000000000 43842807572260079167/1000000000000000000000000000000
-141627865895669751868806921361/500000000000000000000000000000 212129885113274006784319494841/500000000000000000000000000000 -1101594050790367229372820897/15625000000000000000000000000 94372954051900353700878916511/1000000000000000000000000000000 -94372954133923025986478097487/1000000000000000000000000000000 18874590818849398956401363747/200000000000000000000000000000 0/1 58801427958421498665659210589/1000000000000000000000000000000 -58801427958421498665659210589/1000000000000000000000000000000 727470611308396541/125000000000000000000000000000
-35251009649164704497810446413/500000000000000000000000000000 -1101594050790367229372820897/15625000000000000000000000000 106064942552728143873921848699/250000000000000000000000000000 -2949154812932074617422276277/31250000000000000000000000000 47186477066897842572500668411/500000000000000000000000000000 47186477003965364511229356597/500000000000000000000000000000 0/1 -1617007778810036063/62500000000000000000000000000 1617007778810036063/62500000000000000000000000000 -29400714003205338422352982523/500000000000000000000000000000
-94372954053563842682185517651/1000000000000000000000000000000 94372954051900353700878916511/1000000000000000000000000000000 -2949154812932074617422276277/31250000000000000000000000000 484085209205538709628931151389/500000000000000000000000000000 -135266351632871491285444540623/1000000000000000000000000000000 -416452033440411656641306866127/1000000000000000000000000000000 0/1 7707639453442676985609727689/31250000000000000000000000000 -7707639453442676985609727689/31250000000000000000000000000 246644462538852254024743795061/1000000000000000000000000000000
94372954089036895597491722689/1000000000000000000000000000000 -94372954133923025986478097487/1000000000000000000000000000000 47186477066897842572500668411/500000000000000000000000000000 -135266351632871491285444540623/1000000000000000000000000000000 121021302303215257359871174191/125000000000000000000000000000 -208226016766552773474393478943/500000000000000000000000000000 0/1 -246644462476777158402791880959/1000000000000000000000000000000 246644462476777158402791880959/1000000000000000000000000000000 -246644462485513396136736700813/1000000000000000000000000000000
-94372954140084205332546611259/1000000000000000000000000000000 18874590818849398956401363747/200000000000000000000000000000 47186477003965364511229356597/500000000000000000000000000000 -416452033440411656641306866127/1000000000000000000000000000000 -208226016766552773474393478943/500000000000000000000000000000 12102130231529418088525043219/12500000000000000000000000000 0/1 15415278902487608043644008479/62500000000000000000000000000 -15415278902487608043644008479/62500000000000000000000000000 -123322231243938127677889559507/500000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-29400713994089186718710869959/500000000000000000000000000000 58801427958421498665659210589/1000000000000000000000000000000 -1617007778810036063/62500000000000000000000000000 7707639453442676985609727689/31250000000000000000000000000 -246644462476777158402791880959/1000000000000000000000000000000 15415278902487608043644008479/62500000000000000000000000000 0/1 261765185683167166892266365143/1000000000000000000000000000000 -261765185683167166892266365143/1000000000000000000000000000000 22174077955039658767/1000000000000000000000000000000
29400713994089186718710869959/500000000000000000000000000000 -58801427958421498665659210589/1000000000000000000000000000000 1617007778810036063/62500000000000000000000000000 -7707639453442676985609727689/31250000000000000000000000000 246644462476777158402791880959/1000000000000000000000000000000 -15415278902487608043644008479/62500000000000000000000000000 0/1 -261765185683167166892266365143/1000000000000000000000000000000 261765185683167166892266365143/1000000000000000000000000000000 -22174077955039658767/1000000000000000000000000000000
43842807572260079167/1000000000000000000000000000000 727470611308396541/125000000000000000000000000000 -29400714003205338422352982523/500000000000000000000000000000 246644462538852254024743795061/1000000000000000000000000000000 -246644462485513396136736700813/1000000000000000000000000000000 -123322231243938127677889559507/500000000000000000000000000000 0/1 22174077955039658767/1000000000000000000000000000000 -22174077955039658767/1000000000000000000000000000000 261765185749953834574880743633/1000000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
92224550614476176480305550613/1000000000000000000000000000000 60163893103987094783524622211/500000000000000000000000000000 5779362071606685456444565467/200000000000000000000000000000 -17031324908797100267240909553/200000000000000000000000000000 -303858425822005059463763789007/1000000000000000000000000000000 -1117392195637896570058327377/125000000000000000000000000000
60163893103987094783524622211/500000000000000000000000000000 39248703401757912622678586357/250000000000000000000000000000 18851212587691696834742313253/500000000000000000000000000000 -55553038990428128878305242303/500000000000000000000000000000 -198226022551432736223318533209/500000000000000000000000000000 -45559089318463304490877157/3906250000000000000000000000
5779362071606685456444565467/200000000000000000000000000000 18851212587691696834742313253/500000000000000000000000000000 65033247159529501341259725287/1000000000000000000000000000000 -26682210038413210860355992613/1000000000000000000000000000000 -95208263390353476314696668637/1000000000000000000000000000000 -3261218686330518210890347109/250000000000000000000000000000
-17031324908797100267240909553/200000000000000000000000000000 -55553038990428128878305242303/500000000000000000000000000000 -26682210038413210860355992613/1000000000000000000000000000000 78630371798060534594102492639/1000000000000000000000000000000 280571254723895123888860990807/1000000000000000000000000000000 2063514477209143675844319391/250000000000000000000000000000
-303858425822005059463763789007/1000000000000000000000000000000 -198226022551432736223318533209/500000000000000000000000000000 -95208263390353476314696668637/1000000000000000000000000000000 280571254723895123888860990807/1000000000000000000000000000000 1001142779529404738989318350173/1000000000000000000000000000000 736309434730535591654484293/25000000000000000000000000000
-1117392195637896570058327377/125000000000000000000000000000 -45559089318463304490877157/3906250000000000000000000000 -3261218686330518210890347109/250000000000000000000000000000 2063514477209143675844319391/250000000000000000000000000000 736309434730535591654484293/25000000000000000000000000000 289377471894118410215286457/5000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
72722768212625509630486372911/1000000000000000000000000000000 -72722768212625509630486372911/1000000000000000000000000000000 1415023943460570487/1000000000000000000000000000000 -4470083184309614825226338293/250000000000000000000000000000 17880332730449376170038007833/1000000000000000000000000000000 -558760397944357253584417387/31250000000000000000000000000 0/1 8694022769936493011650502463/250000000000000000000000000000 -8694022769936493011650502463/250000000000000000000000000000 1727688043599451587/1000000000000000000000000000000
-72722768212625509630486372911/1000000000000000000000000000000 72722768212625509630486372911/1000000000000000000000000000000 -1415023943460570487/1000000000000000000000000000000 4470083184309614825226338293/250000000000000000000000000000 -17880332730449376170038007833/1000000000000000000000000000000 558760397944357253584417387/31250000000000000000000000000 0/1 -8694022769936493011650502463/250000000000000000000000000000 8694022769936493011650502463/250000000000000000000000000000 -1727688043599451587/1000000000000000000000000000000
1415023943460570487/1000000000000000000000000000000 -1415023943460570487/1000000000000000000000000000000 36361384083160391791075838201/500000000000000000000000000000 -1117520797310044160809070023/62500000000000000000000000000 4470083191115687893591785101/250000000000000000000000000000 8940166384237309889473691967/500000000000000000000000000000 0/1 28073972505741061/250000000000000000000000000000 -28073972505741061/250000000000000000000000000000 34776091057101136414695008293/1000000000000000000000000000000
-4470083184309614825226338293/250000000000000000000000000000 4470083184309614825226338293/250000000000000000000000000000 -1117520797310044160809070023/62500000000000000000000000000 1913539599400372295177553699/3125000000000000000000000000 -85095035947300366236459104971/250000000000000000000000000000 -16997033015640676351561743823/125000000000000000000000000000 0/1 -4275195328273509797921983353/500000000000000000000000000000 4275195328273509797921983353/500000000000000000000000000000 -4275195336259104355148772449/500000000000000000000000000000
17880332730449376170038007833/1000000000000000000000000000000 -17880332730449376170038007833/1000000000000000000000000000000 4470083191115687893591785101/250000000000000000000000000000 -85095035947300366236459104971/250000000000000000000000000000 306166335954004292396180734183/500000000000000000000000000000 -67988131995988454127588853653/500000000000000000000000000000 0/1 427519531537336672643960331/50000000000000000000000000000 -427519531537336672643960331/50000000000000000000000000000 8550390687795169311690764083/1000000000000000000000000000000
-558760397944357253584417387/31250000000000000000000000000 558760397944357253584417387/31250000000000000000000000000 8940166384237309889473691967/500000000000000000000000000000 -16997033015640676351561743823/125000000000000000000000000000 -67988131995988454127588853653/500000000000000000000000000000 30616633589427114776989039967/50000000000000000000000000000 0/1 -85503906569964846849644661/10000000000000000000000000000 85503906569964846849644661/10000000000000000000000000000 1068798835009054282113622643/125000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
8694022769936493011650502463/250000000000000000000000000000 -8694022769936493011650502463/250000000000000000000000000000 28073972505741061/250000000000000000000000000000 -4275195328273509797921983353/500000000000000000000000000000 427519531537336672643960331/50000000000000000000000000000 -85503906569964846849644661/10000000000000000000000000000 0/1 8314978517118836006754376129/500000000000000000000000000000 -8314978517118836006754376129/500000000000000000000000000000 278149900636979493/500000000000000000000000000000
-8694022769936493011650502463/250000000000000000000000000000 8694022769936493011650502463/250000000000000000000000000000 -28073972505741061/250000000000000000000000000000 4275195328273509797921983353/500000000000000000000000000000 -427519531537336672643960331/50000000000000000000000000000 85503906569964846849644661/10000000000000000000000000000 0/1 -8314978517118836006754376129/500000000000000000000000000000 8314978517118836006754376129/500000000000000000000000000000 -278149900636979493/500000000000000000000000000000
1727688043599451587/1000000000000000000000000000000 -1727688043599451587/1000000000000000000000000000000 34776091057101136414695008293/1000000000000000000000000000000 -4275195336259104355148772449/500000000000000000000000000000 8550390687795169311690764083/1000000000000000000000000000000 1068798835009054282113622643/125000000000000000000000000000 0/1 278149900636979493/500000000000000000000000000000 -278149900636979493/500000000000000000000000000000 16629957023168894679964808361/1000000000000000000000000000000

